論理へのアプローチ 一元論理代数方程式